Nuprl Definition : es-le-interface
11,40
postcript
pdf
le(
X
) == es-local-le-pred{i:l}(
es
;
e
.
e
X
)
latex
clarification:
es-le-interface{i:l}(
es
;
X
) == es-local-le-pred{i:l}(
es
; (
e
.
e
X
))
latex
Definitions
es-local-le-pred{i:l}(
es
;
P
)
,
x
.
A
(
x
)
,
e
X
FDL editor aliases
es-le-interface
origin
e.e 
X)
e.e X)) e.e X)
e.e X)) x.A(x) X